Business process verification - finally a reality!
نویسندگان
چکیده
ion rule Fusion of equivalent nets rule Elimination of self-loop transition rule Fig. 8. Reset Reduction rules (Please note that the figure does not capture all the requirements for some rules (i.e., if a transition cannot have a reset arc (double-headed arc) or a place cannot be reset, the figure will not show this.)
منابع مشابه
Trends in business process analysis - from verification to process mining
Business process analysis ranges from model verification at design-time to the monitoring of processes at runtime. Much progress has been achieved in process verification. Today we are able to verify the entire reference model of SAP without any problems. Moreover, more and more processes leave their “trail” in the form of event logs. This makes it interesting to apply process mining to these l...
متن کاملVirtual reality as a tool for verification of assembly and maintenance processes
Business process re-engineering is becoming a main focus in today’s efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in international markets, product complexity, increasing number of product variants, reduction in product development time and cost). In this paper, we investigate the steps needed to apply virtual reality (VR) for virtual pr...
متن کاملChallenges in Business Process Analysis
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today we are able to verify the entire reference model of SAP without any problems. Moreover, more and more processes leave their “trail” in the form of event logs. This makes it interesting to apply process mining to these ...
متن کاملExecutable Ontological Business Process Model
Often business processes modelling is confined to Flow Chart like representation and the models are not amenable to analysis (e.g., simulation) to study their behaviour. As a consequence, validation and verification of such models are merely conducted manually based on the intuition, experience and knowledge of analysts and processes managers. While for small models this may not represent a cha...
متن کاملThe importance of business process modeling in software systems design
Despite diligent efforts made by the software engineering community, the failure of software projects keeps increasing at an alarming rate. After two decades of this problem reoccurring, one of the leading causes for the high failure rate is still poor process modeling (requirements’ specification). Therefore both researchers and practitioners recognize the importance of business process modeli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Business Proc. Manag. Journal
دوره 15 شماره
صفحات -
تاریخ انتشار 2009